@pragma pkginfo name="x", value=0
const bit<32> x = 0;
